val run : (string -> unit) -> string -> unit
